| 1. | At SDC, Ginsburg first concentrated on the theory of abstract machines.
Encore à SDC, Ginsburg travaille d'abord sur la théorie des machines abstraites. |
| 2. | More complex definitions create abstract machines with full instruction sets, registers and models of memory.
Des définitions plus complexes consistent en des machines abstraites avec un jeu d'instructions complet, des registres et un modèle de mémoire. |
| 3. | Repeated applications of the Collatz function can be represented as an abstract machine that handles strings of bits.
Les applications répétées de la fonction de Syracuse peuvent être représentées comme une machine abstraite traitant d'un processus binaire. |
| 4. | An abstract machine implemented as a software simulation, or for which an interpreter exists, is called a virtual machine.
Une machine abstraite implémentée par un logiciel de simulation ou pour laquelle un interprète existe, est appelée une machine virtuelle. |
| 5. | The acronym CAML originally stood for Categorical Abstract Machine Language, but OCaml omits this abstract machine.
L'acronyme CAML provient de Categorical Abstract Machine Language, un modèle de machine abstraite qui n'est cependant plus utilisé dans les versions récentes de OCaml. |
| 6. | The acronym CAML originally stood for Categorical Abstract Machine Language, but OCaml omits this abstract machine.
L'acronyme CAML provient de Categorical Abstract Machine Language, un modèle de machine abstraite qui n'est cependant plus utilisé dans les versions récentes de OCaml. |
| 7. | An abstract machine can also refer to a microprocessor design which has yet to be (or is not intended to be) implemented as hardware.
Une machine abstraite peut aussi être un projet de microprocesseur pas encore réalisé, ou servant seulement de modèle. |
| 8. | Like Turing used an abstract machine to describe formally the notion of algorithm, Krivine used an abstract machine to describe formally the notion of head normal form reduction.
De la même manière que Turing a utilisé une machine abstraite pour définir formellement la notion d'algorithme, Krivine a utilisé une machine abstraite pour définir formellement la réduction en forme normale de tête. |
| 9. | Like Turing used an abstract machine to describe formally the notion of algorithm, Krivine used an abstract machine to describe formally the notion of head normal form reduction.
De la même manière que Turing a utilisé une machine abstraite pour définir formellement la notion d'algorithme, Krivine a utilisé une machine abstraite pour définir formellement la réduction en forme normale de tête. |
| 10. | Landin is responsible for inventing the SECD machine, the first abstract machine for a functional programming language, and the ISWIM programming language, defining the Landin off-side rule and for coining the term syntactic sugar.
Il a conçu la machine SECD, le langage de programmation ISWIM et la règle d'indentation comme syntaxe (off-side rule en anglais) et a proposé le terme de sucre syntaxique. |
